多级飞行控制系统设计

 现代飞行控制系统设计中,如果同时考虑三轴模型,要实现实时最优控制是非常困难的,因为飞机短周期运动三轴模型阶数通常是七、八阶,要实现最优控制,就得实时求解相应维数的Riccati方程,这对于阶数较高的系统是非常困难的,甚至根本无法实现。但是,如果系统维数很低,实时求解相应维数的Riccati方程则可望实现。因此,将原高阶系统分解成若干相互关联的子系统,进行递阶分级控制,这样子系统的维数将大大低于原系统维数,并且各子系统的最优控制计算可分别由各子系统的计算机完成。由此,飞行控制系统的最优设计实现将成为可能。     

叶轮机械中间隙流与通道二次流相互作用的数值研究

采用数值解法对一压气机静叶栅中叶顶泄漏流与通道二次流的相互作用进行研究 ,详细揭示了在顶部区通道涡、泄漏涡及分离涡的生成和发展。结果表明 ,由于泄漏流动与通道二次流动的方向正好相反 ,适量的泄漏流动可以在一定程度上起到削弱通道涡强度、改善顶部区流动状况的作用。     

FMS实时调度系统的研究

柔性制造系统（ＦＭＳ）运行控制软件是保证ＦＭＳ有条不紊运行并充分发挥其潜在能力和效益的指挥中心，而ＦＭＳ运行软件的核心是实时调软件。本文讨论了面向对象的方法和专家系统技术在ＦＭＳ实时高度软件设计中的应用。该设计技术既能发挥面向对象方法的优势，又能突出专家系统的特点，以对象为中心来构造专家系统，本评论人知识获取、表示和推理三方面进行了论述，重点介绍了ＦＭＳ调度领域专家知识的面向对象表示。     

CONTROL STRUCTURE AND IMPLEMENTATION OF CELL CONTROL SYSTEM

在计算机集成制造系统（ＣＩＭＳ）的递阶控制结构中，单元控制系统起着重要作用。它上端联接车间控制系统和ＣＡＤ／ＣＡＰＰ／ＣＡＭ系统，下端联接生产设备，直接影响到生产的柔性和效率。该系统根据生产任务和目标，完成了生产计划调度、资源分配、监控设备运行等功能。文中主要讨论了系统的控制结构、系统功能和以下主要关键技术：客户／服务体系结构在生产控制和管理中的应用，单元生产计划和调度，ＤＮＣ接口以及生产中的随机事件处理。该系统已在应用中取得良好的经济效益。     

新型热管冷板传热性能的试验研究

为了有效解决阵列行波管的多热源、高热流散热问题．研制了基于其安装空间尺寸的热管冷板散热装置。热管由8根竖直圆管、冷凝段连通管和蒸发段连通孔组成，其蒸发段嵌入冷板内部，冷凝段伸入冷却水套。试验研究时，在冷板的两个大表面(正反面)各贴上8个电加热片模拟阵列行波管生热，冷板导出的热量由冷却水带走。试验结果表明，所提出的热管冷板传热性能和壁面均温性能良好，满足设计要求。     

系统群进化环境的模型设计

由于系统群复杂性的增加和有关实践的非成熟性，开发了一个系统化的方法来进行进化活动显得十分必要。本提出了一个系统群进化的综合环境的设计模型，介绍了该环境的设计思想，操作的流程，主要的模块以及如何运用系统构架知识来支持系统的进化，最后给出了该环境设计的高层结构。     

基于被动复制方式的容错CORBA模型

容错CORBA(Common object request broker architecture,公共对象请求代理体系结构)是OMG(Objectmanagement group,对象管理组织)为了给分布式系统带来容错特性而对通用CORBA所作的一个扩展。文中首先介绍了基于被动复制方式的容错CORBA模型——PFORBUS,针对其中主服务器的重要性,该模型提出了一个主服务器选择算法,该算法基于三角模糊数对不同服务器的可靠性进行评价,从而找出可靠性评价值最高的服务器作为主服务器。然后详细介绍了PFORBUS模型在该算法支持下的相关工作,包括系统初始化、正常工作流程及主服务器失效后的处理等。最后对该模型采用不同主服务器选择算法的情况进行了仿真,并取得了较好的效果。     

快速可重构信息系统的框架研究(英文)

变化和重构是快速可重构信息系统 (RRIS)的两个核心概念 ,RRIS对变化的适应或演化能力使它优于传统信息系统。本文首先提出 RRIS的体系结构 ,然后以 RRIS框架为重点 ,讨论框架的定义、分类及设计 ,研究框架的构成、构成元素 (业务构件 )的设计及构件如何在构架的组织下协调地安插在 CORBA的软总线上 ,实现类似硬件IC的即插即用。构件在框架上即插即用的灵活机制及热点构件 (反映变化 )的灵活运用 ,提高了框架的可扩展性、可定制性 ,从而提高了 RRIS适应变化的可重构性。     

变速恒频电源系统的数字仿真研究

建立了脉宽调制型交直交变速恒频电源系统的数学模型，研制了仿真软件，并给出了仿真实例。研究表明，本文的方法和软件可以进行变速恒频电源系统部件级和系统级的仿真分析，为设计和分析该系统提供了有力的工具。文中的方法和软件也可以用于分析恒速恒频和高压直流电源系统，为开发一套完整的飞机电源系统仿真软件奠定了基础。     

中介时序逻辑系统MTL的模型论性质

时序逻辑作为一种把时间概念直接引入其形式系统的逻辑系统,它具有较强的表达能力,近年来在计算机科学领域获得了广泛的应用.基于中介逻辑对时序逻辑进行多值扩充,建立了一种中介时序逻辑系统MTL(Medium Temporal Logic).讨论了它的形式系统和语义解释,但未论及其完备性.本文对MTL系统作进一步的讨论.在一可传结构下,讨论了它的可传、连通和过滤等模型论性质,为进一步讨论MTL系统的完备性作了理论上的准备.